From Bolzano-Weierstraß to Arzelà-Ascoli
نویسندگان
چکیده
منابع مشابه
Bounded variation and the strength of Helly's selection theorem
We analyze the strength of Helly’s selection theorem (HST), which is the most important compactness theorem on the space of functions of bounded variation (BV ). For this we utilize a new representation of this space intermediate between L1 and the Sobolev space W , compatible with the—so called—weak∗ topology on BV . We obtain that HST is instance-wise equivalent to the Bolzano-Weierstraß prin...
متن کاملOn the computational content of the Bolzano-Weierstraß Principle
Wewill apply themethods developed in the field of ‘proofmining’ to the BolzanoWeierstraß theorem BW and calibrate the computational contribution of using this theorem in proofs of combinatorial statements. We provide an explicit solution of the Gödel functional interpretation (combined with negative translation) as well as the monotone functional interpretation of BW for the product space ∏i∈N[...
متن کاملThe Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
We classify the computational content of the Bolzano-Weierstraß Theorem and variants thereof in the Weihrauch lattice. For this purpose we first introduce the concept of a derivative or jump in this lattice and we show that it has some properties similar to the Turing jump. Using this concept we prove that the derivative of closed choice of a computable metric space is the cluster point problem...
متن کاملAn Operator Arzelà-ascoli Theorem
We generalize the Arzelà-Ascoli theorem to the setting of matrix order unit spaces, extending the work of Antonescu-Christensen on unital C∗algebras. This gives an affirmative answer to a question of Antonescu and Christensen.
متن کاملAn Asymmetric Arzelà-Ascoli Theorem
An Arzelà-Ascoli theorem for asymmetric metric spaces (sometimes called quasi-metric spaces) is proved. One genuinely asymmetric condition is introduced, and it is shown that several classic statements fail in the asymmetric context if this assumption is dropped.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2014
ISSN: 0942-5616
DOI: 10.1002/malq.201200076